(DEFPROP RFL
 (RFL READTO MATCH FINDANCH RFONTPAIR RFONTFILE DOIN MAKFILE)
VALUE)

(DEFPROP READTO
 (LAMBDA (N) (PROG NIL A (COND ((NEQ (TYI) N) (GO A)))))
EXPR)

(DEFPROP MATCH
 (LAMBDA (U) (COND ((NULL U) T) ((EQ (READCH) (CAR U)) (MATCH (CDR U))) (T NIL)))
EXPR)

(DEFPROP FINDANCH
 (LAMBDA (X) (PROG NIL A (READTO 12) (COND ((MATCH (EXPLODEC X)) (RETURN T)) (T (GO A)))))
EXPR)

(DEFPROP RFONTPAIR
 (LAMBDA NIL
  (CONS	(PROGN (FINDANCH (QUOTE CHARACTER)) (TYI) (TYI) (READTO (CHRVAL (QUOTE /())) (READTO 40) (READ))
	(PROGN (READTO (CHRVAL (QUOTE =))) (SETQ IBASE 12) (PROG1 (READ) (SETQ IBASE 10)))))
EXPR)

(DEFPROP RFONTFILE
 (LAMBDA(FILE)
  (PROG	(U V)
	(INC (EVAL (CONS (QUOTE INPUT) (CONS (QUOTE DSK:) (COND ((ATOM FILE) (LIST FILE)) (T FILE))))) NIL)
   A	(SETQ V (ERRSET (RFONTPAIR) NIL))
	(COND ((EQ V (QUOTE $EOF$)) (RETURN U)))
	(SETQ U (CONS (CAR V) U))
	(GO A)))
EXPR)

(DEFPROP DOIN
 (LAMBDA (E) (PROG2 (INC T NIL) (EVAL (CAR E)) (INC NIL NIL)))
FEXPR)

(DEFPROP MAKFILE
 (LAMBDA (REAL FILE) (PRINT (CONS REAL (RFONTFILE FILE))))
EXPR)

@(IT IS NECESSARY TO CHANGE THE USUAL MEANING OF THE CHARACTER)(ASCII 31)
@(AFTER THE "**" TYPE ALT MODE)
@(THEN TYPE (GETSYM VALUE IGSTRT)
  (SETQ IGSTRT 777777))
(LOAD)